6. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
7. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
9. Artificial Intelligence:
پدیدآورنده : by James H. Fetzer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Science -- Philosophy.
رده :
Q335
.
B953
1990
10. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
11. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
13. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
14. CAM :
پدیدآورنده : edited by D. Kochan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
15. Comparative design of structures :
پدیدآورنده : Shaopei Lin, Zhen Huang
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Structural analysis (Engineering),Structural design-- Data processing.,Structural design.,Building Construction.,Building Types and Functions.,Computational Intelligence.,Engineering Design.
رده :
TA658
16. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
17. Computational aesthetics /
پدیدآورنده : Yasuhiro Suzuki [and 6 others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aesthetics-- Data processing.,Computer graphics.,Image processing-- Digital techniques.,Aesthetics-- Data processing.,Artificial intelligence.,Cognition & cognitive psychology.,Computer graphics.,Computer vision.,COMPUTERS-- General.,Image processing-- Digital techniques.
رده :
T385
18. Computational intelligence in archaeology /
پدیدآورنده : Juan A. Barceló.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Archaeology-- Data processing.,Archaeology-- Philosophy.,Computational intelligence.,Archaeology-- Data processing.,Archaeology-- Philosophy.,Computational intelligence.,SOCIAL SCIENCE-- Archaeology.
رده :
CC80
.
4
.
B37
2009eb
19. Computational intelligence in archaeology ( digital)
پدیدآورنده : Juan A. Barcelâo.
کتابخانه: Library of Archaeological Institute of University of Tehran (Tehran)
موضوع : Archaeology--Data processing.,Computational intelligence.,Archaeology--Philosophy.
رده :
CC
80
.
4
.
B37
2009
20. Connectionism and meaning : from truth conditions to weight representations
پدیدآورنده : Jackson, Stuart A.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computational learning theory,، Philosophy of mind,، Cognitive science,، Connectionism-- Data processing
رده :
Q
325
.
7
.
J37
1996
